An active-constraint logic for non-linear programming

Linear Equation Solving for Constraint Logic Programming

Linear constraint solving in constraint logic programming requires in cremental checks of the satis ability of a system of equations and inequali ties Experience has shown that Gauss Jordan elimination and the simplex method are e cient enough to be of practical value in the implementation of CLP languages based on linear arithmetic constraints However these algorithms must be modi ed to accomm...

Concurrent Constraint Programming and Non-Commutative Linear Logic (Extended Abstract)

Concurrent constraint programming and linear logic

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Concurrent Constraint Programming and Non-commutative Logic

This paper presents a connection between the intuitionis-tic fragment of a non-commutative version of linear logic introduced by the rst author (NLI) and concurrent constraint programming (CC). We reene existing logical characterizations of operational aspects of CC, by providing a logical interpretation of ner observable properties of CC programs, namely stores, successes and suspensions.

a new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot

abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...